ANSI ISO C Specification Language

Results: 21



#Item
21Computing / Systems engineering / Software testing / ANSI/ISO C Specification Language / C programming language / Software quality / Frama-C / Formal verification / DO-178B / Software development / Formal methods / Software

Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa

Add to Reading List

Source URL: www.erts2014.org

Language: English - Date: 2014-01-10 03:51:09
UPDATE